Semisimple Varieties of Modal Algebras
نویسندگان
چکیده
both greatly acknowledge the hospitality of the RSISE.
منابع مشابه
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
We prove that all semisimple varieties of FLew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FLew-algebras follows. It matches exactly a natural classification of logics over FLew proposed by H. Ono.
متن کاملOn Two Classes of Pseudo-bci-algebras
The class of p-semisimple pseudo-BCI-algebras and the class of branchwise commutative pseudo-BCI-algebras are studied. It is proved that they form varieties. Some congruence properties of these varieties are displayed.
متن کاملThe variety of modal FLew-algebras is generated by its finite simple members
In this paper, we prove that the variety of modal FLew-algebras is generated by its finite simple members. The result is obtained by showing that every free modal FLew-algebra is semisimple and then showing that every variety generated by a simple modal FLew-algebra is generated by a set of finite simple modal FLew-algebras.
متن کاملOn Varieties in an Orbital Variety Closure in Semisimple Lie Algebras
In this note we discuss the closure of an orbital variety as a union of varieties. We show that if semisimple Lie algebra g contains factors not of type An then there are orbital varieties whose closure contains components which are not Lagrangian. We show that the argument does not work if all the factors are of type An and provide the facts supporting the conjecture claiming that if all the f...
متن کاملSome Properties of Quasi - Mv Algebras
A b s t r a c t. We investigate some properties of two varieties of algebras arising from quantum computation quasi-MV algebras and √ ′ quasi-MV algebras first introduced in [13], [12] and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of √ ′ quasiMV algebras...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studia Logica
دوره 83 شماره
صفحات -
تاریخ انتشار 2006